/*
 * boot.c
 *
 *  Created on: Sep 19, 2013
 *      Author: Ken Arok
 */


#include "io.h"
#include "inter_chip.h"
#include "boot.h"

void vSystemBoot(void)
{
	/* Load device drivers. */
	vIO_Init();
	/* Inter Chip. */
	vADO_InterChipInit();
}
